Feeds to Scour
SubscribedAll
Scoured 255308 posts in 2.92 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·12h
🏗️MLIR
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·2h·
Discuss: Hacker News
🏷️Memory Tagging
Preview
Report Post
Backtracking Strings: Draw the Tree, Fix the Bugs
dev.to·10h·
Discuss: DEV
🪢Rope Data Structure
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
📐Linear Algebra
Preview
Report Post
Optimizing and Appropriately Using Terrain3D
v.redd.it·1d·
Discuss: r/godot
🎨Computer Graphics
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🦀Rust Macros
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·6h·
Discuss: Hacker News
🏭Code Generation
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🗜️Compression Formats
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
🔬Valgrind Tools
Preview
Report Post
Why is calling my asm function from Rust slower than calling it from C?
ohadravid.github.io·10h·
Discuss: Lobsters, Hacker News
🔎Valgrind
Preview
Report Post
SMART SLM: Structured Memory and Reasoning Transformer, A Small Language Model for Accurate Document Assistance
arxiv.org·2d
📝Parsing
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
⚖️Y-Fast Tries
Preview
Report Post
Pandas vs Polars: Why the 2025 Evolution Changes Everything
dev.to·9h·
Discuss: DEV
🐻‍❄️Polars
Preview
Report Post
Any addition to my Roadmap.
reddit.com·3d·
Discuss: r/cpp
🦀Rust Macros
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💎Refinement Types
Preview
Report Post
Meeting Seed7
genodians.org·1d
🦀Rust Macros
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
📐TLA+
Preview
Report Post
小红书开源InstanceAssemble：让AI精准还原复杂图像排版
k.sina.com.cn·1d
🕸️WebAssembly
Preview
Report Post
wwes4/AI_Accel_1.5x: AI acceleration framework for ~1.5x speedups in mid-sized models via tension-based pruning. Built utilizing xAI's Grok.
github.com·1d·
Discuss: Hacker News
🦀Rayon
Preview
Report Post
Formally Verifying Peephole Optimisations in Lean
l-m.dev·5d·
Discuss: Hacker News
🔧LLVM IR Optimization
Preview
Report Post